Model-Theoretic Semantics
释义 Definition
模型论语义学：形式语义学的一种方法，用模型（model）来刻画语言表达式与世界之间的对应关系，通过解释（interpretation）与满足关系（satisfaction）/真值条件（truth conditions）来定义句子何时为真、词语指称什么、量词如何作用等。常用于逻辑学、语言学（尤其是形式语义学）与计算语言学中。（该术语也可能在不同传统中与“蒙太格语义学”等相关。）
发音 Pronunciation (IPA)
/ˌmɑːdəl θiəˈrɛtɪk sɪˈmæntɪks/
例句 Examples
Model-theoretic semantics explains meaning using models and truth conditions.
模型论语义学用模型与真值条件来解释“意义”。
In model-theoretic semantics, a sentence is true in a model if the model satisfies the sentence under a given interpretation.
在模型论语义学中，若在某个给定解释下一个模型满足该句子，则该句子在该模型中为真。
词源 Etymology
该短语由 model-theoretic（模型论的） + semantics（语义学） 构成：
- model 源自拉丁语 modulus（尺度、度量标准），引申为“范式/模型”；
- theoretic 来自希腊语 theōria（观照、理论）；
- semantics 来自希腊语 sēma（标记、符号），表示“关于意义的研究”。
合起来强调：用“模型论”的工具来研究与刻画“意义”。
相关词 Related Words
文学/经典著作 Literary Works
该术语与相关思想常见于以下逻辑学与形式语义学经典著作/论文的讨论中：
- Alfred Tarski：《The Concept of Truth in Formalized Languages》（形式化语言中的真概念）
- Chang & Keisler：《Model Theory》
- Wilfrid Hodges：《Model Theory》
- Richard Montague：〈Universal Grammar〉、〈The Proper Treatment of Quantification in Ordinary English〉
- Irene Heim & Angelika Kratzer：《Semantics in Generative Grammar》
- Barbara Partee, Alice ter Meulen & Robert Wall：《Mathematical Methods in Linguistics》（涉及形式语义与模型化方法）
Select Language